Discovering the differences between the various systems of modal logics was one of the advantages of inventing Kripke semantics. One of the most obvious examples is interpreting the necessity of provability in provability logic. According to Boolos in The Logic of Provability, by discovering this logic, we can say that the understanding of new issues in the field of argument was opened. In this paper, with a formal approach and with a descriptive-analytical and comparative method, the axiomatic propositional systems of (...) the GL, Grz, and H, and their possible world semantics based on Kripke semantics are studied, as well as the sequent calculus of GL (in Peano arithmetic) and GLS (in the standard model) were introduced. Finally, the meta-theorems of soundness, consistency, and completeness of the GL were interpreted and proved. (shrink)

In this paper, we continued the preparatory works of Jingde Cheng in conjunction with spatio-temporal relevant logics, and proposed several epistemic spatio-temporal relevant logics as basic logics for Mobile Multi-Agent Systems (MMAS). To establish an inference system, important elements are: semantics and syntax appropriate to it include a language, axioms and inference rules. By proving the meta-logical properties such as soundness and consistency, completeness and decidability and etc., we have a method to test the reliability of the systems. Finally, we (...) will have models and algorithms for the application of these logics in the MMAS. (shrink)

The logical formalism of abductive reasoning is still an open discussion and various theories have been presented about it. Abduction is a type of non-monotonic and defeasible reasonings, and the logic containing such a reasoning is one of the types of non-nonmonotonic and defeasible logics, such as inductive logic. Abduction is a kind of natural reasoning and it is a solution to the problems having this form "the phenomenon of φ cannot be explained by the theory of Θ" and we (...) need to search for (or to adduce) an explanation for φ. Taking α as the explanation and <Θ,φ> as the abductive problem, Θ∪{α}⊨φ is the logical format of a strong abductive reasoning. In this article, the proof theory for first-order abductive calculus is proposed based on Gentzen-type first-order proof theory. Considering its dual, i.e., the semantic tableaux, and without the need to translate the formulas, this calculation is sound and complete. After examining the structural rules of this calculus, some metalogical considerations and open problems such as consistency, completeness and undecidability of this account have been addressed. (shrink)

Spiritual Intelligence (S-Intelligence) introduced to achieve higher levels of knowledge and applying hidden knowledge. This intelligence is various in different people. When people work together in a team or set, these diverse influence on their performance. Facilitate the application of spiritual capacities by using abilities of S- intelligence is important to increase productivity teamwork. For this purpose, we provided a model of communication for individuals with different S-intelligence in performing team tasks. First, with the basics S-intelligence analysis and interviews with (...) experts, S-intelligence was divided in five categories. Each person according to their S-Intelligence and the role that play in teamwork (individualist, thinkist and pragmatist) from this aspect that he/she can by what kind of S-intelligences and what kind of role, has an effective team relationship, has been measured. With the 690 questionnaires among individuals with experience in teamwork and group communication, we have addressed to the measurement of their communication model. After derivation the data by fuzzy logic, we analyzed and presented an effective model of teamwork based on S-intelligence. (shrink)

Selective abduction is in contrast with creative abduction as well as Inference to the Best Explanation (IBE). There are two types of selective abduction: Either hypotheses are selected among new and conjectural hypotheses without any prior knowledge ( Pierce s' selective abduction), or the selection of the best hypotheses and explanations is among a large number of possible hypotheses and explanations already known (L. Magnani's selective abduction and G. Schurz's factual abduction). According to both views, as well as an alternative (...) view, which belongs to Dov M. Gabby and John Woods, selective abduction is different from inference to the best explanation. Schurz's factual abduction depends on all three sub-processes of inference, i.e.: colligation, observation, and judgment (c, o, and j); But Pierce's selective abduction, on the other hand, has only a third sub-process, i.e. judgment process (j), and therefore it cannot be regarded as a process of abductive epistemic inference. (shrink)

By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report shortly (...) our team’s advantages in developing and implementation of ΑBox abduction in DLs. (shrink)

n this paper, a non-classical axiomatic system was introduced to classify all moods of Aristotelian syllogisms, in addition to the axiom "Every a is an a" and the bilateral rules of obversion of E and O propositions. This system consists of only 2 definitions, 2 axioms, 1 rule of a premise, and moods of Barbara and Datisi. By adding first-degree propositional negation to this system, we prove that the square of opposition holds without using many of the other rules of (...) classical logic (including double negation elimination). We then show that the Propositional Substructural Logic SLe is the best logic to study Aristotelian Syllogisms. Also, based on the IFLe square of opposition, the rules of conversation and the rules of negation are completely proved in Muzaffar's logic. For this purpose, we used the monadic first-order logic with the same standard deductive apparatus of quantifiers in classical logic, plus the axioms of "some a is an a" and "some not-a is a not-a". Finally, to show that there is no existential commitment to general terms in categorical logic, the Strong Four-Valued Relevant-classical Logic KR4 was used. With the same existential interpretation of the quantifiers and the standard translation of the quarter quantified. (shrink)

Introduction Respecting the Patients’ Rights Charter leads to the demands of patients for their rights and the response of rehabilitation therapists by increasing their compliance. The present study aimed to compare the views of patients and rehabilitation therapists about the importance and extent of compliance with the Patients’ Rights Charter. Methods This cross-sectional study was conducted for 3 months on 114 patients and 55 therapists who were selected using the convenience sampling method. The data collection tools included a demographic information (...) form and the Justification and Practice of Patient Rights Questionnaire. The collected data were analyzed using descriptive statistics, independent t-test, paired t-test, and Pearson correlation coefficient. Results Mean scores of the importance of compliance with the Patients’ Rights Charter were 2.21 ± 0.40 and 2.31 ± 0.43 in the group of patients and therapists, respectively. Moreover, the mean scores of compliance with the Patients’ Rights Charter were 1.45 ± 0.48 and 1.53 ± 0.61 from the perspective of patients and therapists, respectively. There was no statistically significant difference between the views of patients and therapists on the importance and extent of compliance with the Patients’ Rights Charter. Discussion and Conclusion The importance of respecting the Patients’ Rights Charter from the perspective of patients and therapists was at a desirable level while the level of compliance with it from the perspective of both groups was moderate. It seems that more research is needed to explain the causes of this discrepancy and increase compliance with the Patients’ Rights Charter in rehabilitation clinics. (shrink)

In aesthetics/philosophy of art, Fichte did not produce works as great as Kant’s Critique of the Power of Judgment or Hegel’s Lectures on Aesthetics. As a result, it was long believed that he had no role to play in the aesthetics of German idealism. Nevertheless, there are a few works in which we can identify the materials for developing an innovative philosophy of art. In this article, it is argued that Fichte takes two fundamental steps in aesthetics: 1) by transferring (...) the weight of the discussion of aesthetics to the philosophy of artistic creation, he makes, as it were, a Copernican revolution in aesthetics and thus transforms the aesthetics of taste into a philosophy of art based on the creative spirit; 2) he raises the status of aesthetics (in fact, the aesthetic sense) to the level of “a (or the) condition for the possibility of philosophy.”. (shrink)

This paper scrutinizes the dialogical character of knowledge from the perspectives of Hegel’s and Davidson’s philosophies. First, it outlines their analogous trains of thought, particularly their “anti-representational” and “intersubjective” accounts of knowledge. Second, it draws a parallel between the two by discussing their contrasting views of the structure and goal of knowledge, showing that while Davidson advocates an open-ended, scheme-less empirical knowledge, Hegel maintains the notion of a (universal-rational) scheme and a goal-oriented dialectical process in which “the true is the (...) whole.” This section then critically traces their underlying disagreement to their divergent views on the nature of meaning, language, and thought. Finally, it argues that their views can be seen as complementary to two versions of dialectic, showing that while Hegel’s approach, akin to Platonic dialectic, focuses on the self-contained and “Truth”-oriented “negotiational” movement of ideas, Davidson’s, reminiscent of Socratic elenchus, emphasizes the truth-oriented ‘conversational’ interaction of subjects exchanging concepts. (shrink)

The path of religious pluralism starts with the fact that our world contains a number of religious faiths having different ideas of the nature of divinity as the main and fundamental principle of religions and therefore, different and various dogmas, rites, and rituals.Despite the claim that the idea of religious pluralism is a product of modern philosophical schools, specifically new epistemological principles, I have attempted to demonstrate that what I have called "pluralistic religion," as a part of a necessary and (...) substantial distinction that has to be drawn between this hypothesis and John Hick's classic theory of "religious pluralism," is strongly rooted in the principle of "ultimate truth and uniqueness of .. (shrink)

Predicting suspended sediment load in water resource management requires efficient and reliable predicted models. This study considers the support vector regression method to predict daily suspended sediment load. Since the SVR has unknown parameters, the observer-teacher-learner-based Optimization method is integrated with the SVR model to provide a novel hybrid predictive model. The SVR combined with the genetic algorithm is used as an alternative model. To explore the performance and application of the proposed models, five input combinations of rainfall and discharge (...) data of Cham Siah River catchment are provided. The predictive models are assessed using various numerical and visual indicators. The results indicate that the SVR-OTLBO model offers a higher prediction performance than other models employed in the current study. Specifically, SVR-OTLBO model offers highest Pearson correlation coefficient, Willmott’s Index, ratio of performance to IQ, and modified index of agreement and the lowest relative root mean square error in comparison with SVR-GA and SVR models, respectively. (shrink)

This study aims to assess the localization of Schema.org for manuscript description in the Iranian-Islamic information context using documentary and qualitative content analysis. The schema.org introduces schemas for different Web content objects so as to generate structured data. Given that the structure of Schema.org is ontological, the inheritance of the manuscript types from the properties of their parent types, as well as the localization and description of the specific properties of the manuscripts in the Iranian-Islamic information context were investigated in (...) order to improve their indexability and semantic visibility in the Web search engines. The proposed properties specific to the manuscript type and the six proposed properties to be added to the “CreativeWork” type are found to be consistent with other schema properties. In turn, these properties lead to the localization of the existing schema for the manuscript type compatibility with the Iranian-Islamic information context. This schema is also applicable to centers with published records on the Web, and if markup with these properties, their indexability and semantic visibility in Web search engines increases accordingly. The generation of structured data in the Web environment through this schema is deemed to promote the concept of the Semantic Web, and make data and knowledge retrieval easier. (shrink)

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

The earlier volume in this series dealt with two religions of Indian origin, namely, Buddhism and Jainism. The Indian religious scene, however, is characterized by not only religions which originated in India but also by religions which entered India from outside India and made their home here. Thus religious life in India has been enlivened throughout its history by the presence of religions of foreign origin on its soil almost from the very time they came into existence. This volume covers (...) three such religions—Zoraoastrianism, Judaism, and Islam. In the case of Zoraostianism, even its very beginnings are intertwined with India, as Zoroastrianism reformed a preexisting religion which had strong links to the Vedic heritage of India. This relationship took on a new dimension when a Zoroastrian community, fearing persecution in Persia after its Arab conquest, sought shelter in western India and ultimately went on to produce India’s pioneering nationalist in the figure of Dadabhai Naoroji ( 1825-1917), also known as the Grand Old Man of India. Jews found refuge in south India after the destruction of the Temple by the Romans in 70 C.E. and have remained a part of the Indian religious scene since then, some even returning to Israel after it was founded in 1948. Islam arrived in Kerala as soon as it was founded and one of the earliest mosques in the history of Islam is found in India. Islam differs from the previously mentioned religions inasmuch as it went on to gain political hegemony over parts of the country for considerable periods of time, which meant that its impact on the religious life of the subcontinent has been greater compared to the other religions. It has also meant that Islam has existed in a religiously plural environment in India for a longer period than elsewhere in the world so that not only has Islam left a mark on India, India has also left its mark on it. Indeed all the three religions covered in this volume share this dual feature, that they have profoundly influenced Indian religious life and have also in turn been profoundly influenced by their presence in India. (shrink)

ملخّـــــــــــــــص. بشارات، أحمد محمد. الالتفات في السّرد القرآني. رسالة دكتوراه في جامعة اليرموك. 2015م. (المشرف: أ.د. يوسف أبو العدوس). يعرض البحث ثلاث قضايا: الأولى، بنية الالتفات النصّي في محاولة لإجراء مفهوم يصدق على التشكّل البنيوي للالتفات النصّي، بإقامة تقابلات وظيفية بين الالتفات ووظيفتين في الدراسات السّرديّة: وظيفة الحافز ووظيفة التحفيز. إنّ الالتفات النصّي يتشكّل وفقًا للاعتبار الدلاليّ؛ فالتصوّر الشّكلي(=البنيّة التركيبية) غير وارد في إقامة مفهوم وظيفيّ للالتفات النصّي؛ أي أنّ بنيّة الالتفات بنيّة فوق صرفيّة(=صيغة الكلمة)، وفوق نحوية(=مسند ومسند إليه=جملة)، فالالتفات (...) النصّي مختلف عن الالتفات في الدّرس البلاغيّ القديم(=التفات الضمائر والأفعال...)؛ فقد يكون الالتفات النصّي مسندًا، أو إسنادًا، أو عدة جمل متتابعة(=آية أو عدة آيات في هذا البحث). والقضية الثانية، إجراء تحليل بنيويّ للالتفات النصّي في الخطاب القرآني، فالالتفات النصّي بناء لسانيّ مثير للاهتمام من جهتي الشكل والمعنى، إذ يتعالق الالتفات بمستويات واسعة من البناء النصّي في الخطاب القرآني، يدعو هذا إلى تحليل بنيّة التعالق اللسانيّ بإقامة الروابط البنيويّة في مستوى واسع من الخطاب القرآني، وهو ما قدّمه البحث في وظيفتيّ الإحالة والتكرار. والقضية الثالثة، محاولة إجراء مقاربات في المعنى، إذ يتعالق نصّ الالتفات بمستويات دلاليّة منفتحة، فمثلاً يتعالق الالتفات "وَلَنْ تَفْعَلُوا" (24\البقرة) في فكرة الإعجاز في آيات التحدي في مستوى واسع من المعنى، إذ يقدّم التحدي وظيفة مركزية في القضاء على اعتقاد الآلهة، وإقامة الاعتقاد لله وحده؛ لقد وُضِع المشكّكون في حرج، إذ يتوجب على آلهتهم أن تقدّم لهم خطابًا إلهيًا. وفي جانب آخر لم يجر التحدي في منحىً وظيفيّ واحد، فالتحدي بسورة غير التحدي بعشر سور، والتحدي بسورة وبعشرٍ غيره في مثلية القرآن {فَلْيَأْتُوا بِحَدِيثٍ مِثْلِهِ} (34\الطور)؛ إنّ هذه التحولات الوظيفية في سرديّة التحدي تقدّم ثلاثة أمور مهمة-وفق هذا البحث على الأقلّ- أ-وظيفة توحيد الله، ب-وظيفة حفظ الخطاب الإلهي مقابلاً للتحريف والافتراء، ج-الوظيفة التواصلية(= الوحي من طريق جبريل) مقابلاً لقولهم إنّ الرسول كاهن أو شاعر أو مجنون، فالمشككون يعتقدون تواصليةً في الكهنة والسحر مع عالم الجنّ، فأسقطوا ذلك على الخطاب الإلهي. -/- . (shrink)

In social systems or spaces, distance between the centre and the periphery breeds epistemic injustice. There are growing accounts of epistemic injustice in health-related fields, as in the article by Pratt and de Vries.1 The title of the article asks: ‘Where is knowledge from the global South?’ Like me, you may answer by saying: ‘Knowledge from the global South is in the global South’. That answer says a lot about how we right epistemic injustice done to actors in the global (...) South or the periphery, including in health ethics. Pratt and de Vries identified four sets of actors (individuals, institutions, journals and funders) responsible for righting epistemic injustice. For three of the four sets of actors, they recognised the need for—or the possibility of—symmetry between global North and global South. Except journals. They did not seriously consider that journals are either present in or could belong to the global South; to the periphery. Platforms for knowledge exchange, circulation, cultivation and curation—such as journals, conferences, publishers, blogs, archives, seminars, books and the media, social or traditional—are neither physically nor epistemically neutral. They are situated. The BBC cannot do for Nigeria or Australia what it does for Britain; neither can the BMJ. Many of us take our position at the centre or periphery as neutral, natural, necessary or permanent. But the African American writer Toni Morrison proved the opposite with her career: ‘I stood at the border, stood at the edge and claimed it as central. l claimed it as central, and let the rest of the world move over to where I was.’2 Although physically in the USA, Toni Morrison was writing …. (shrink)

I study definability and types in the linear fragment of continuous logic. Linear variants of several definability theorems such as Beth, Svenonus and Herbrand are proved. At the end, a partial study of the theories of probability algebras, probability algebras with an aperiodic automorphism and AL-spaces is given.

We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied.

الملخص قاعدة "الأصل" و "استصحاب الحال" قراءة في منهج النحاة من الاستعمال إلى التعليل إلى القاعدة ملخص تعدّ فكرة "الأصل" (=علة الأصل) منهجـًا اتّبعه النّحاة لتقديم تفسيرات منطقية في بعض مسائل الكلم في العربية، إذ أخذ النحاة إجراء منهج تحليليّ يعتمد افتراض أو استحضار مكوّن بنيوي على أنّه "أصل الاستعمال" غاية إيجاد مقاربات منطقية تربط الاستعمال المنجز بالقاعدة، فـ"الأصل"–وفق النحاة- إمّا "نمطٌ لغويٌّ مهجورٌ غير أنّه اُستعمل في طور من أطوار العربية"، أو "نمط لغوي افتراضي" يجريه النحاة على معيارية الاستعمال (...) بحيث يصحّ عدّه منجزًا لغويًا تقابليًّا لاستعمالات تجري والقاعدة؛ وقد أجرى سيبيويه منهج قياسٍ افتراضي وَفْقَ عبارته:"وهذا تمثيلٌ ولم يُتكلّم به" ليجعل "المكوّن" الافتراضي شاهدًا نحويًّا يمثّل "أصل الاستعمال" ويصحّ الرجوع إليه في اشتقاق القاعدة والوصول إلى التعليل. يدرس البحث علاقة الوظيفة التعليلية بين "الأصل" و"استصحاب الحال" أجْل الوقوف على منهج النحاة في إطلاق الأحكام القواعدية في المسائل التي اعتمدوا فيها فكرة التعليل بـ"الأصل"، وهل كانت أحكامهم في تلك المسائل مقنعة أو غير مقنعة؟ ويسعى البحث إلى بيان العلاقة بين فكرة "الأصل" و"أدلة النحو" (الأصول) من وجهة تسعى إلى بيان منطق التعليل بـ"علة الأصل". The original rule of the historical usage of the primary sentence and the semi-original rules of the grammatical thinking A reading in the grammarian's approach, from usage to the reasoning to the rules Abstract The original rule of the historical usage of the primary sentence is considered one of the methods that followed by the grammarians to provide a logical explanation sequence for some of the language issues. Most of the grammarians assume that there is a new sentence style that referred to an old usage in some of the sentence’s structure. According to the grammarians that these old structures are being the reference rules and evidences to explain the structure of the new structure style. Also based on the grammarian approach the old structure is divided into two parts: the first, sentence structure that have been actually used in the language history. The second is an imagination assumption where such kind of structures have not been used before and therefore can be considered as a hypothetical lingual style only, Sebaweeh has conducted a standard approach according to his phrase "This is a an example only, it has not been spoken". It is important to know that the grammarians have followed an analytical approach to make a center point between the original rule and the semi-original rule so as to provide a logical explanation of these structure styles. This research seeks to study the relation between the original rule and semi-original rules of the grammatical thinking. In addition, this search seeks to study the relation between the original rule and the Grammatical evidence (=OSOL) Key Words: The original rule - the semi-original rules -/- الكلمات المفتاحية أصول النحو، قاعدة الأصل، استصحاب الحال. (shrink)

A generic analysis of research article abstracts can cover issues of different types; among them are linguistic features. An integral part of linguistic features of research article abstracts is interactive metadiscourse usage that can assist to make the text persuasive and unfolding to a discourse community. The main principle behind applying interactive metadiscourse is the view of writing as socially engaging; specifically, it indicates the ways writers project themselves into their arguments to declare their attitudes and commitments to the readers. (...) This study aimed to explore how interactive metadiscourse markers are deployed by research article abstract writers belonging to different disciplinary communities within the soft sciences, while trying to reach the audience by creating a well-organized discourse. Hyland’s interpersonal model of metadiscourse was adopted to analyze 60 research article abstracts written in Applied Linguistics and Economics. Based on the results, there were marked variations found across the two disciplines in terms of interactive metadiscourse markers. (shrink)

The issue of existence - quiddity difference is one of the important issues that were put forward for the first time in Islamic philosophy without having any background in Greek philosophy. Aristotle's metaphysics which is the main source of the first philosophy contains only synonymous and verbal meaning ofexistence. The issue of existence - quiddity difference has no room in Aristotle's works. This issue was proposed first by Farabi and then was completed by Ibn sina. In Islamic philosophy when it (...) is proved that existence in the mind is neither identical with quiddity nor a part of it but differs with it and is excess of it, that is, when it is proved that existence occurs on quiddity, this question arises that how is their relation in the outside? Whether existence occurs on quiddity or existence and quiddity are identical in the external world? To this question the Islamic philosophers answer that existence and quiddity are identical in the outside and it isimpossible that they differ from each other in the external world. The importance of this issue is that it finally led to the origination of the doctrine of the principality of existence which is known as the culmination of Islamic philosophy. The main goal of this article is study this issue and its impact upon the origination of the doctrine of the principiality of existence. (shrink)

The ultraproduct construction is generalized to p‐ultramean constructions () by replacing ultrafilters with finitely additive measures. These constructions correspond to the linear fragments of continuous logic and are very close to the constructions in real analysis. A powermean variant of the Keisler‐Shelah isomorphism theorem is proved for. It is then proved that ‐sentences (and their approximations) are exactly those sentences of continuous logic which are preserved by such constructions. Some other applications are also given.

Applying the dormitory system for thousands of santri (student of Islamic boarding school in Indonesia), Quranic pesantren (Islamic boarding school) has been considered as one of the main culprits in the spread of the coronavirus disease 2019 (COVID-19). Such assumption is created solely from the applicable health protocols and protective measures to avoid COVID-19 transmission in pesantren. As a matter of fact, pesantrens are known to have applied a distinctive way of coping with COVID-19. This study aims to elucidate the (...) theology of health of Quranic pesantren in the face of COVID-19. Research data were generated through observational method on three Quranic pesantrens in Yogyakarta, interviews with caregivers, the COVID-19 task force of the pesantren, santri and documentation related to the handling of COVID-19 in the three pesantrens. The results showed that the Quranic pesantren as a subculture has a distinctive way of dealing with COVID-19 pandemic by integrating modified health protocols in accordance with the actual conditions of the pesantren and by applying rituals of Islamic spirituality by reciting verses of the Qur’an, salawat (prayers for the Prophet), prayers and hizib (prayer for salvation and rejecting calamities). Three pesantrens chose these methods by drawing on the belief that COVID-19 is God’s creature and, thus, it only works on God’s orders and will stop if God wills. In line with this, this study suggests a method for handling COVID-19 by not only emphasising the health protocols and medical procedures but also taking into account the importance of local wisdom. Contribution statement: This article contributes to the strategy of COVID-19 handling by combining the health protocols of COVID-19 and the applicable local wisdom, such as religious ritual as practiced by numerous pesantren in Indonesia. (shrink)

We argue that the debate about the normativity of belief thesis has been hampered by the slogan, ‘belief aims at truth’. We show that the slogan provides no content to the normativity of belief. The slogan encourages formulations of the norm as a prescriptive norm. There are well-known problems with such formulations. We provide a new formulation of the thesis as a prohibitive norm. This captures the key intuition most normativists about belief want to endorse.

We develop a model theoretic framework for studying algebraic structures equipped with a measure. The real line is used as a value space and its usual arithmetical operations as connectives. Integration is used as a quantifier. We extend some basic results of pure model theory to this context and characterize measurable sets in terms of zero-sets of formulas.

We define an ultraproduct of metric structures based on a maximal probability charge and prove a variant of Łoś theorem for linear metric formulas. We also consider iterated ultraproducts.

Linear continuous logic is the fragment of continuous logic obtained by restricting connectives to addition and scalar multiplications. Most results in the full continuous logic have a counterpart in this fragment. In particular a linear form of the compactness theorem holds. We prove this variant and use it to deduce some basic preservation theorems.

Modern technology plays an important role in our daily lives. Many people use technology for their works, interactions, and special interests such as art. Art as a discipline, which expresses human emotion and creative side, takes a new form for its contextualization with the help of information technology. A neologism for this discipline is “digital art.” Some experts who employ a traditional value in their aesthetical perspective consider this new approach unlikely. Walter Benjamin, an eminent figure from this group, stated (...) that art must have an aura in its production as is the case in paintings. With this aura, the work of art and not artwork has uniqueness of value. However, the problem arises when information technology becomes a predominant tool for the work of art. Digital art does not consider the aura as the core value in defining something as a work of art. Furthermore, digital artists think that art can exist within a digital object and maintain its uniqueness. Parallel with the latter, this article will describe the dispute and make a clear statement that a work of art in the digital age does not require aura. (shrink)

ملخـــص -/- بشارات، أحمد محمد. التفسير الدلالي في إعراب المضارع-الجزم أنموذجًا. رسالة ماجستير في جامعة اليرموك. 2007م. (المشرف: أ.د. فيصل صفا). هدف البحث إلى إعطاء تفسيرات دلالية لظهور إعراب الجزم في تركيبات الجملة الفعلية، وحاول تعليل ارتباط الجزم بفكرة التعليق الشرطي، وتعليل عدم الجزم في بعض التركيبات الشرطية، وحاول أن يقدم تفسيرًا دلاليًا لاختلاف آخر المضارع، وتعليلاً لاختلاف آخر المضارع المنفي (لا/ لن/ لم/ يفعل) مختلف الصورة الإعرابية بالرفع مرة والنصب أخرى والجزم ثالثة. وسعى البحث في ظاهرة الجزم إلى الكشف (...) عن حالة الإعراب في المضارع أهي بالمشابهة للأسماء أم بالأصالة، والكشف عن فكرة الإعراب في المضارع أيقدم إعراب المضارع معنىً نحويًا أم أنه حالة من الإعراب تخرج عن فكرة النحاة القائلة بأن الإعراب فرع المعنى. وقد جاء البحث في مقدمة وتمهيد وبابين وخاتمة، عرضت في المقدمة أهمية البحث في ظاهرة الجزم، وذكرت الدراسات السابقة لهذا البحث، مبينًا أهم نتائجها، ووضحت في المقدمة خطة البحث ومنهجيته. أما الباب الأول فقد جاء في فصلين: الأول عنوانه" الجزم في الدرس النحوي القديم" عرضت فيه لمصطلح الجزم لغةً واصطلاحًا غاية ربط مفهوم المصطلح بفكرة الدلالة في الإنجاز اللغوي، وبحثت في مصطلحات الإعراب الأخرى لغةً واصطلاحًا، وعرضت لفكرة إعراب المضارع علةً ودلالةً، والفصل الثاني وعنوانه" علة إعراب المضارع ودلالته في الدرس النحوي الحديث" بحثت فيه علة تشكل علامة الإعراب أهي بالمعنى أو بالعامل؟ وعرضت فيه لفكرة المحدثين في بحثهم معنى الإعراب في المضارع. أما الباب الثاني، فقد جاء في فصلين: الأول عنوانه" التفسير الدلالي لظاهرة الجزم، وعرضت فيه علة اختلاف آخر المضارع محاولاً ربط الشكل الإعرابي بالدلالة النحوية، وعرضت فيه لمعاني الفعل(الإسناد والزمن والحدث) محاولا ربط علامة آخر المضارع بدلالة الإسناد فيه. والفصل الثاني عنوانه" معنى الجزم في السياقات اللغوية، عرضت فيه لمعنى الجزم في التركيبات اللغوية، وعرضت فيه لفكرة الجزم في صيغ الأمر معللاً حالة الاخر في صيغ الأمر على نحو يربطها بمسألة الإعراب. وقد خضعت الدراسة لمنهج تحليليّ. وخرج البحث ببعض النتائج، نذكر منها: - إن إطلاق المصطلحات الإعرابية يرجع إلى ملحظ صوتيّ حسب، فلا يتوافق معنى المصطلح الإعرابي مع واقع الإنجاز اللغوي. - المضارع معرب بالأصالة لا بالمشابهة؛ ذلك أن المضارع المنصوب والمجزوم لا يقع موقع الأسماء، والموقعية علة في إعراب الفعل. - معاني النحو هي المعاني الوظيفية للسياق، وقول النحاة إنّ المعاني النحوية هي الفاعلية والمفعولية والإضافة قول غير دقيق؛ لأن النعت والحال والوصف والإسناد وغيرها معانٍ نحوية تعتور على السياق. - يرتبط إعراب المضارع بفكرة الإسناد في الفعل، فالرفع للإسناد الواقع، والنصب للإسناد الغائي، والجزم يدل على عدم وقوع الإسناد. -/- الكلمات المفتاحية: الجزم، دلالة الجزم، إعراب الجزم، إعراب المضارع، الإسناد، التعليق الشرطي، الجزم والتعليق الشرطي، الأدوات الجازمة. دلالة الإعراب في المضارع. (shrink)

The paper describes the design of an intelligent tutoring system for teaching Introduction to Computer Science-a compulsory curriculum in Al-Azhar University of Gaza to students who attend the university. The basic idea of this system is a systematic introduction into computer science. The system presents topics with examples. The system is dynamically checks student's individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on the performance of students enrolled in computer science (...) curriculum at Al-Azhar University, Gaza. The results showed a positive impact on the evaluators. (shrink)

We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].

I prove linear compactness and linear completeness for various forms of linear propositional logic where the value space is a module over a ring.